755247254f6522306e4393a2a83c093fcb89ff77,core/languageDesign/helgins/source/jetbrains/mps/helgins/inference/EquationManager.java,EquationManager,addInequation,#IWrapper#IWrapper#EquationInfo#boolean#boolean#boolean#,164

Before Change


    }

    if (equationInfo.getErrorString() != null) {
      myTypeChecker.reportTypeError(equationInfo.getNodeWithError(), equationInfo.getErrorString());
      return;
    }
    String strongString = isWeak ? "" : " strong";

After Change


    }

    IErrorReporter errorReporter;
    String errorString = equationInfo.getErrorString();
    String ruleModel = equationInfo.getRuleModel();
    String ruleId = equationInfo.getRuleId();
    if (errorString == null) {
      String strongString = isWeak ? "" : " strong";
      errorReporter = new EquationErrorReporter(this, "type ", subtypeRepresentator,
        " is not a" + strongString + " subtype of ", supertypeRepresentator, "", ruleModel, ruleId);
    } else {
      errorReporter = new SimpleErrorReporter(errorString, ruleModel, ruleId);
    }
    errorReporter.setIntentionProvider(equationInfo.getIntentionProvider());
    myTypeChecker.reportTypeError(equationInfo.getNodeWithError(), errorReporter);